package ch.epfl.lara.matcheck.tester;

import ch.epfl.lara.matcheck.util.printer.PrettyPrinterTree

object TestParser extends TesterSkeleton { 
  
  
  def main(args: Array[String]) = {
    val program = ParsePhase(args(0))
    
    println("--------------------- Parsing Result ---------------------")
    PrettyPrinterTree(program) 
    println("----------------------------------------------------------\n")
    
    println("--------------- Fresh Tree Parsing Result ----------------")
    PrettyPrinterTree(FreshTreePhase(program))
    println("----------------------------------------------------------\n")
    
    println("--------------- Desugar Result ----------------")
    NameAnalyzePhase(program)
    PrettyPrinterTree(DesugarPhase(program))
    println("----------------------------------------------------------\n")
  }
}
